См. также в других словарях:
Alloy Analyzer — In computer science and software engineering, the Alloy Analyzer is a software tool which can be used to analyze specifications written in the Alloy specification language.cite book|last=Jackson|first=Daniel |authorlink=Daniel Jackson (computer… … Wikipedia
Alloy Analyzer — Alloy Analyser Screenshots mit Beispiel Basisdaten Maintainer Daniel Jackson Aktuel … Deutsch Wikipedia
Herramienta CASE — Captura de pantalla del editor UML Umbrello Las herramientas CASE (Computer Aided Software Engineering, Ingeniería de Software Asistida por Computadora) son diversas aplicaciones informáticas destinadas a aumentar la productividad en el… … Wikipedia Español
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
History of computing hardware — Computing hardware is a platform for information processing (block diagram) The history of computing hardware is the record of the ongoing effort to make computer hardware faster, cheaper, and capable of storing more data. Computing hardware… … Wikipedia
Signals intelligence — SIGINT redirects here. For the UNIX signal, see SIGINT (POSIX). RAF Menwith Hill, a large site in the United Kingdom, part of ECHELON and the UK USA Security Agreement. Signals intelligence (often contracted to SIGINT) is intelligence gathering… … Wikipedia
Search for extraterrestrial intelligence — The search for extraterrestrial intelligence is sometimes abbreviated as SETI. For other uses, see SETI (disambiguation). Screen shot of the screensaver for SETI@home, a distributed computing project in which volunteers donate idle computer power … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Claude Shannon — Claude Elwood Shannon (1916 2001) Born April … Wikipedia
SETI — Search for Extra Terrestrial Intelligence (SETI) is the collective name for a number of activities to detect intelligent extraterrestrial life. The general approach of SETI projects is to survey the sky to detect the existence of transmissions… … Wikipedia
